A Relaxed Approach to Integrity and Inconsistency in Databases
نویسندگان
چکیده
We demonstrate that many, though not all integrity checking methods are able to tolerate inconsistency, without having been aware of it. We show that it is possible to use them to beneficial effect and without further ado, not only for preserving integrity in consistent databases, but also in databases that violate their constraints. This apparently relaxed attitude toward integrity and inconsistency stands in contrast to approaches that are much more cautious wrt the prevention, identification, removal, repair and tolerance of inconsistent data that violate integrity. We assess several well-known methods in terms of inconsistency tolerance and give examples and counter-examples thereof.
منابع مشابه
Can Integrity Tolerate Inconsistency?
An unconditional and hitherto unquestioned basic requirement for integrity checking is that the data need to be consistent before the update, such that the success of a simplified test can guarantee the invariance of integrity after the update. We answer the question whether this consistency requirement can be relaxed with ”Yes, at least sometimes, and to some extent.”
متن کاملA Logical Framework for Integrating Inconsistent Information in Multiple Databases
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9, 7] (LFI1) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources. We propose a method based on the sound and complete tableau proof system...
متن کامل8 Related Work
Subrahmanian 14] uses annotated logic 2] to integrate a set of deductive databases in an unique amalgamated database called amalgam. The amalgam, in addition to the disjoint union of the databases, contains a supervisory database. The supervisory database is a set of clauses (called amalgamated clauses) which resolve connicts due to inconsistent facts and compose uncertain information of diiere...
متن کاملSpecifying Reactive Integrity Control for Active Databases
Recent approaches to integrity enforcement in active databases suggest not only to check constraint violations by triggers but also to utilize triggers to perform inconsistency repair actions. However, for sophisticated reactions these approaches often require refinements of already derived integrity maintaining and inconsistency repairing triggers. We argue that analyzing and specifying reacti...
متن کاملAn inconsistency measure of spatial data sets with respect to topological constraints
An inconsistency measure can be used to compare the quality of different datasets and to quantify the cost of data cleaning. In traditional relational databases, inconsistency is defined in terms of constraints that use comparison operators between attributes. Inconsistency measures for traditional databases cannot be applied to spatial datasets because spatial objects are complex and the const...
متن کامل